G. Japaridze and D. de Jongh - "The logic of Provability"
Giorgi Japaridze
，
Dick de Jongh
http://www.csc.villanova.edu/~japaridz/Text/prov.pdf
証明可能性論理
の
サーベイ論文